🔄 Category Theory - DiToast · Scour

A Gradual Probabilistic Lambda Calculus 🎲Probabilistic Programming

arxiv.org·1d

Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning 🔢Mathematical Logic

arxiv.org·22h

Compositional Program Verification with Polynomial Functors in Dependent Type Theory ⚙Functional Programming

arxiv.org·6d

An Algebraic Introduction to Persistence 🗄️Database Theory

arxiv.org·22h

Artificial Intelligence and the Structure of Mathematics 🔢Mathematical Logic

arxiv.org·1d

Geometric Properties of the Voronoi Tessellation in Latent Semantic Manifolds of Large Language Models 🔢Mathematical Logic

arxiv.org·22h

Topological Effects in Neural Network Field Theory 🕸️Graph Theory

arxiv.org·6d

Inventory of the 12 007 Low-Dimensional Pseudo-Boolean Landscapes Invariant to Rank, Translation, and Rotation 🕸️Graph Theory

arxiv.org·1d

Detecting and Explaining (In-)equivalence of Context-Free Grammars ⚙Functional Programming

arxiv.org·22h

On the Geometry of Positional Encodings in Transformers ⚙Functional Programming

arxiv.org·1d

A Lower Bound for Grothendieck's Constant 🔢Mathematical Logic

arxiv.org·3d

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 🔢Mathematical Logic

arxiv.org·22h

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference ⚙Functional Programming

arxiv.org·1d

StructKV: Preserving the Structural Skeleton for Scalable Long-Context Inference 🎲Probabilistic Programming

arxiv.org·22h

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks 🎯Constraint Programming

arxiv.org·1d

A Weak Notion of Symmetry for Dynamical Systems ⚙Functional Programming

arxiv.org·6d

ConceptTracer: Interactive Analysis of Concept Saliency and Selectivity in Neural Representations 🎲Probabilistic Programming

arxiv.org·22h

Between Century and Poet: Graph-Based Lexical Semantic Change in Persian Poetry 🕸️Graph Theory

arxiv.org·22h

Short Data, Long Context: Distilling Positional Knowledge in Transformers 🎲Probabilistic Programming

arxiv.org·1d

Trapping and commutative Boolean networks 🔐Cryptography

arxiv.org·6d

Loading more...